Local well-posedness for a quasi-stationary droplet model

The moving boundary problem for the contact line evolution of a droplet is studied. Local existence and uniqueness of classical solutions is established.     

Padé approximants for functions with branch points — strong asymptotics of Nuttall–Stahl polynomials

Let f be a germ of an analytic function at infinity that can be analytically continued along any path in the complex plane deprived of a finite set of points, \({f \in \mathcal{A}(\bar{\mathbb{C}} \setminus A)}\), \({\# A< \infty}\). J. Nuttall has put forward the important relation between the maximal domain of f where the function has a single-valued branch and the domain of convergence of the diagonal Padé approximants for f. The Padé approximants, which are rational functions and thus single-valued, approximate a holomorphic branch of f in the domain of their convergence. At the same time most of their poles tend to the boundary of the domain of convergence and the support of their limiting distribution models the system of cuts that makes the function f single-valued. Nuttall has conjectured (and proved for many important special cases) that this system of cuts has minimal logarithmic capacity among all other systems converting the function f to a single-valued branch. Thus the domain of convergence corresponds to the maximal (in the sense of minimal boundary) domain of single-valued holomorphy for the analytic function \({f\in\mathcal{A}(\bar{\mathbb{C}} \setminus A)}\). The complete proof of Nuttall’s conjecture (even in a more general setting where the set A has logarithmic capacity 0) was obtained by H. Stahl. In this work, we derive strong asymptotics for the denominators of the diagonal Padé approximants for this problem in a rather general setting. We assume that A is a finite set of branch points of f which have the algebro-logarithmic character and which are placed in a generic position. The last restriction means that we exclude from our consideration some degenerated “constellations” of the branch points.     

Initial‐Boundary Value Problems for the Coupled Nonlinear Schrödinger Equation on the Half‐Line

Initial‐boundary value problems for the coupled nonlinear Schrödinger equation on the half‐line are investigated via the Fokas method. It is shown that the solution can be expressed in terms of the unique solution of a matrix Riemann–Hilbert problem formulated in the complex k‐plane, whose jump matrix is defined in terms of the matrix spectral functions and that depend on the initial data and all boundary values, respectively. If there exist spectral functions satisfying the global relation, it can be proved that the function defined by the above Riemann–Hilbert problem solves the coupled nonlinear Schrödinger equation and agrees with the prescribed initial and boundary values. The most challenging problem in the implementation of this method is to characterize the unknown boundary values that appear in the spectral function . For a particular class of boundary conditions so‐called linearizable boundary conditions, it is possible to compute the spectral function in terms of and given boundary conditions by using the algebraic manipulation of the global relation. For the general case of boundary conditions, an effective characterization of the unknown boundary values can be obtained by employing perturbation expansion.     

Holomorphic maps preserving parts of the local spectrum

Let x ₀ be a nonzero vector in \({\mathbb{C}^{n}}\) , and let \({U\subseteq \mathcal{M}_{n}}\) be a domain containing the zero matrix. We prove that if φ is a holomorphic map from U into \({\mathcal{M}_{n}}\) such that the local spectrum of T ∈ U at x ₀ and the local spectrum of φ(T) at x ₀ have always a common value, then T and φ(T) have always the same spectrum, and they have the same local spectrum at x ₀ a.e. with respect to the Lebesgue measure on U. If \({\varphi \colon U\rightarrow \mathcal{M}_{n}}\) is holomorphic with φ(0) = 0 such that the local spectral radius of T at x ₀ equals the local spectral radius of φ(T) at x ₀ for all T ∈ U, there exists \({\xi \in \mathbb{C}}\) of modulus one such that ξT and φ(T) have the same spectrum for all T in U. We also prove that if for all T ∈ U the local spectral radius of φ(T) coincides with the local spectral radius of T at each vector x, there exists \({\xi \in \mathbb{C}}\) of modulus one such that φ(T) = ξT on U.     

Edge Flips in Surface Meshes

Little theoretical work has been done on edge flips in surface meshes despite their popular usage in graphics and solid modeling to improve mesh equality. We propose the class of \((\varepsilon ,\alpha )\)-meshes of a surface that satisfy several properties: the vertex set is an \(\varepsilon \)-sample of the surface, the triangle angles are no smaller than a constant \(\alpha \), some triangle has a good normal, and the mesh is homeomorphic to the surface. We believe that many surface meshes encountered in practice are \((\varepsilon ,\alpha )\)-meshes or close to being one. We prove that flipping the appropriate edges can smooth a dense \((\varepsilon ,\alpha )\)-mesh by making the triangle normals better approximations of the surface normals and the dihedral angles closer to \(\pi \). Moreover, the edge flips can be performed in time linear in the number of vertices. This helps to explain the effectiveness of edge flips as observed in practice and in our experiments. A corollary of our techniques is that, in \(\mathbb {R}^2\), every triangulation with a constant lower bound on the angles can be flipped in linear time to the Delaunay triangulation.     

广义sine-Gordon方程高精度隐式紧致差分方法

本文研究一类二维非线性的广义sine-Gordon(简称SG)方程的有限差分格式.首先构造三层时间的紧致交替方向隐式差分格式,并用能量分析法证明格式具有二阶时间精度和四阶空间精度.然后应用改进的Richardson外推算法将时间精度提高到四阶.最后,数值算例证实改进后的算法在空间和时间上均达到四阶精度.     

Partial Data for the Neumann-to-Dirichlet Map

We show that measurements of a Neumann-to-Dirichlet map, with either inputs or outputs restricted to part of the boundary, can determine an electric potential on that domain. Given a convexity condition on the domain, either the set on which measurements are taken, or the set on which input functions are supported, can be made to be arbitrarily small. The result is analogous to the result by Kenig, Sjöstrand, and Uhlmann for the Dirichlet-to-Neumann map. The main new ingredient in the proof is an improved Carleman estimate for the Schrödinger operator with appropriate boundary conditions. This is proved by Fourier analysis of a conjugated operator along the boundary of the domain.     

变系数拟自回归模型下的测量误差分析

本文对雷达测量误差影响较大的因素进行了分析研究,并将其和雷达测量数据一起建立了变系数拟自回归的统计模型以实现对雷达测量值的纠偏,利用剖面最小二乘法估计模型参数,在一定条件下证明了模型的大样本性质,并结合残差的峰度和偏度构建了区间估计。实际数据的拟合和预测结果显示,我们提出的纠偏方法可将误差减少90%。     

面向客户群的服务方案配置规则挖掘方法

产品/服务配置规则获取的主要方式是用数据挖掘技术从设计实例数据库中提取.客户化服务方案配置规则为服务功能需求和方案特征间的关联规则.考虑到常用关联规则挖掘算法Apriori具有运算复杂的缺点,提出基于PIETM(Principle of Inclusion—Exclusion and Transaction Mapping)算法的配置规则挖掘方法,考虑置信度和有趣度指标,提取强关联规则.针对配置实例数据库数据量较大时,配置规则挖掘的效率会降低且会产生大量冗余规则的问题,采用二元语义模型表达定性的服务功能需求,将同类客户群的功能需求进行合并,替换多样化的功能需求,减少规则的冗余.最后以一工程机械制造企业服务方案配置规则挖掘为例,验证了所提方法的有效性.